<?php

session_start();
session_destroy();

print "You are now logged out. We hope you come back soon!";

header("refresh: 3, index.php");
?>